1
邏輯之基:實數比較事實與不等式性質推導
MATH1001CA-PEP-CNLesson 2
00:00
ab > 0 ⇔ a > bba
實數的大小比較是整個數學邏輯的基石。在數軸上,實數與點一一對應。透過觀察點的位置,我們可以直觀感知「不等」。

基本事實:
  • 如果 $a-b$ 是正數,那麼 $a>b$;
  • 如果 $a-b$ 等於 0,那麼 $a=b$;
  • 如果 $a-b$ 是負數,那麼 $a< b$。
0 是正數與負數的分界點,它為實數比較大小提供了「標杆」。 利用作差法,我們可以將複雜代數式的大小比較轉化為判斷其差值的正負,這是證明不等式的最基本方法。
不等式的核心性質:
1. 傳遞性:$a > b, b > c \Rightarrow a > c$
2. 加法:$a > b \iff a + c > b + c$
3. 乘法:$c > 0 \Rightarrow ac > bc$;$c < 0 \Rightarrow ac < bc$
$$a > b \iff a - b > 0$$